﻿using System;
using System.Collections.Generic;

using System.Windows.Forms;

namespace 命题证明
{
    static class Program
    {
        /// <summary>
        /// 应用程序的主入口点。
        /// </summary>
        [STAThread]
        static void Main()
        {
            Application.EnableVisualStyles();
            Application.SetCompatibleTextRenderingDefault( false );
             Application.Run( new frmProve() );
            //Application.Run( new frmTrueTable() );
            //Law l = new Law( "(a∨b)∧┐b", "┐a", "" );

            //Expression a = new Expression( "(a∨b)∨b" );

            //Expression b = new Expression( "a∨b" );
            //bool l = a.Contain( b );
            //Console.ReadKey();
             //MathAssistLibrary.ICommand p = new ProveCommand();
             //string r= p.Excute( " q→p,q↔s,s↔t,t;p "   );
             //Console.ReadKey();
        }
    }
}
